TSTP Solution File: ITP256^4 by Mace4---1109a